#!@PYTHON@

import sys
import re


for fileName in sys.argv[1:]:
    f = open(fileName, 'r+')
    fileString = f.read()

    fileString = re.sub(r'[ ]+\n', r'\n', fileString)
    fileString = re.sub(r'\r', r'', fileString)
    f.seek(0)
    f.write(fileString)
    f.truncate(len(fileString))
